制造服务中服务协作链构建与优化研究

制造服务是制造与服务的融合,是面向制造的服务,并且可进行分解和重构;根据制造服务的特征,以制造企业外协加工制造服务为例,构建了制造服务服务协作链,定义了多元组的服务协作链,利用Petri网建立了五元组服务协作链模型,针对服务协作链优化这一N-P Hard问题,运用贪婪算法选取服务时间作为贪婪因子进行了优化,并进行了实例验证;通过算例验证了服务协作链优化的可行性,结果表明:构建制造服务中的服务协作链以及对服务协作链进行优化可实现制造服务中业务协作优化决策,为实现智能化制造系统奠定坚实基础。     

基于时间Petri网的渗透测试攻击模型研究

针对攻击模型会因为描述的攻击参数不完备,导致实际应用价值降低的问题,提出一种以漏洞为基本粒度,基于时间Petri网的渗透测试攻击模型及构建方法. 该方法对已知漏洞列表构建单漏洞利用模型,通过整合形成渗透测试攻击模型,并提供快速和稳定的漏洞利用方案选择算法,获得相应攻击方案,以及完成一次渗透攻击所需最短时间. 实验结果表明,该模型及算法可以有效地描述攻击时间和攻击稳定性,可实际应用于渗透测试.      

基于HTCPN的飞机维修保障资源配置方法

针对飞机基层级维修保障资源配置问题,提出了一种基于分层赋时着色Petri网(hierarchical timed colored Petri net, HTCPN)的维修保障资源配置方法。首先,根据飞机基层级维修保障工作内容及流程,运用CPN Tools软件,构建飞机维修保障全过程的HTCPN仿真模型,设计仿真时钟折算方法。其次,提出维修保障资源配置规则,建立基于飞机出动架次率的维修保障资源配置模型。最后,算例分析结果表明所提方法能够迅速、准确地完成飞机基层级维修保障资源配置。所提方法为科学制定飞机基层级维修保障配置方案提供了技术支撑,具有一定的工程应用价值。     

一种基于工作流网的游戏作弊检测系统

游戏作弊对网络游戏危害很大,目前反作弊技术的瓶颈是效率低并且过多依赖于签名匹配。提出一种高效且不依赖于签名匹配的游戏作弊检测系统,用工作流网对作弊行为建模,通过流程树对作弊行为模型进行融合,在不影响检测结果的前提下节省存储空间。用热门网游的作弊软件对系统进行实验,存储空间降低率达到约60%,证明了该系统框架是可行、有效的。     

三网融合驱动的全媒体技术复合型人才培养探索

培养适应全媒体时代的合格人才是我国高校数字媒体专业的基本任务。文章对照三网融合社会大环境对数字媒体人才的实际需求,以数字媒体技术专业为切入点,分析了目前国内高校数字媒体专业培养模式存在的突出问题,并分别从课程体系规划及教材建设、科学教学方式探索、学生实践创新能力培养和考核评价体系改革等四个方面提出了建议和改进措施。希望为我国数字媒体及其相关专业的人才培养探索行之有效的新途径。     

基于网结构压缩技术的Petri网监控器综合

针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题，提出了控制目标（线性约束）等价的网结构压缩算法：（1）将不可控子网部分区域压缩为单个库所；（2）并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法，可以有效地压缩原不可控子网，从而指数级地减小不可控子网的状态空间，有效地降低监控问题的计算复杂性，甚至当不可控子网为状态机时，该方法能够彻底解决上述计算复杂性难题，获得高效最优的Petri网监控器，并用一个物料运输系统演示了该方法.     

基于Petri网的VOCs跨区域流动动态风险评估方法

为了评价污染天气下由于VOCs(volatile organic compounds)跨区域流动产生的区域间的相互影响作用的大小，找出对受污染区域影响较大的路径，结合Petri网模型提出了VOCs跨区域流动动态风险评估方法。利用HYSPLIT模型确定多个潜在污染源与受污染区域的VOCs迁移路径，运用Petri网去描述各个迁移路径之间的关系；将动态风险大小的计算融入到函数Petri网的运行中，定量评估潜在污染源到受污染区域的各条路径的风险程度；案例分析得出污染天气下周边区域对于西安的动态风险评估结果以及各污染路径的潜在风险指数。研究表明，在重污染天气下各个污染源城市对西安的影响程度大小由高到低依次为宝鸡>汉中>西宁>兰州。该方法为评估VOCs跨区域流动过程中潜在污染源的风险程度提供了依据。     

基于Petri网的电梯系统规格说明

为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对离散并行系统的数学表示,适合于描述并发的计算机系统模型,可以正确的描述电梯系统。     

基于LabVIEW的Petri网控制器实现

为使Petri网更易应用于测控系统,提出一种基于图形化编程工具LabVIEW、组件化的时延C/E Petri网系统实现方法.在LabVIEW中,用布尔控件表示Petri网的库所(布尔控件值为TRUE表示库所中有token),用子VI控件表示Petri网的变迁.变迁被触发时,变迁VI控件通过布尔控件的控件引用修改库所的值...     

工作流技术及Petri网在教育管理软件建模中的分析及应用

为了实现教育管理中的各个组织部门间的协调工作,提出了在教育管理软件中引入工作流技术作为建模开发的基础,工作流技术是一种协同技术,能理想完成教育管理软件开发中业务流程的建模和业务逻辑的实现,而工作流描述需要一种工作流模型来支持;Petri网是一种适合于描述异步并发现象的系统模型,适合对业务流程建模,结合用Petri网对业务流程进行建模的方法探讨了如何在教育管理软件建模中应用工作流技术。